An Explicit Substitution Notation in a Prolog Implementation
نویسنده
چکیده
منابع مشابه
GET: An Implementation of Conceptual Graphs
This paper describes GET (Graph Editor and Tools), a partial implementation of Sowa's conceptual structures. First, a brief overview of X-Prolog, an X-Windows based Prolog programming environment, is given. A summary of GET's graphical interface and linear notation follows. Finally, an example application using the graphs to represent sentences in Portuguese will be presented.
متن کاملA Visual Notation for Declarative Behaviour Specification
Logical programming has many merits that should appeal to modellers. It enables declarative specifications that are free from implementation details and even (mostly) abstracts away from control flow specification. However, the textual syntax of, for example PROLOG, most likely represents a barrier to the adoption of such languages in the modelling community. The visual notation presented in th...
متن کاملImplementation Considerations for Higher-order Features in Logic Programming Implementation Considerations for Higher-order Features in Logic Programming Running Title: Higher-order Features in Logic Programming
This paper examines implementation problems that arise from providing for aspects of higher-order programming within and enhancing the metalanguage abilities of logic programming. One issue of concern is a representation for the simply-typed lambda terms that replace the usual rst-order terms as data structures; this representation must support an eecient realization of-conversion operations on...
متن کاملParsing Korean based on Dependency Grammar and GULP
This paper presents a parsing algorithm in Prolog using GULP, based on dependency grammar and unification-based grammar.1 It parses declarative sentences of a free-word-order language, Korean. The dependency grammar accepts free order of the words in a sentence. Unification-based features separate the grammar from the parsing algorithm and also simplify the notation of the grammar. GULP (Graph ...
متن کاملVerifying Uml in Prolog*1
From the viewpoint of software life cycle in Software Engineering, software architecture is the core of the structure and behavior of software. As software architecture design itself is a kind of modeling activity, how to verify the correctness of the standard modeling language of software architecture design, UML, is one big problem. This paper used an implementation of situation calculus, Pro...
متن کامل